Productivity of Stream Definitions

We give an algorithm for deciding productivity of a large and natural class of recursive stream definitions. A stream definition is called ‘productive’ if it can be evaluated continuously in such a way that a uniquely determined stream is obtained as the limit. Whereas productivity is undecidable for stream definitions in general, we show that it can be decided for ‘pure’ stream definitions. For every pure stream definition the process of its evaluation can be modelled by the dataflow of abstract stream elements, called ‘pebbles’, in a finite ‘pebbleflow net(work)’. And the production of a pebbleflow net associated with a pure stream definition, that is, the amount of pebbles the net is able to produce at its output port, can be calculated by reducing nets to trivial nets

On {\cal N}=1 exact superpotentials from U(N) matrix models

In this letter we compute the exact effective superpotential of {\cal N}=1 U(N) supersymmetric gauge theories with N_f fundamental flavors and an arbitrary tree-level polynomial superpotential for the adjoint Higgs field. We use the matrix model approach in the maximally confinig phase. When restricted to the case of a tree-level even polynomial superpotential, our computation reproduces the known result of the SU(N) theory.Comment: 15 pages, LaTe

Exact Superpotentials, Theories with Flavor and Confining Vacua

In this paper we study some interesting properties of the effective superpotential of N=1 supersymmetric gauge theories with fundamental matter, with the help of the Dijkgraaf--Vafa proposal connecting supersymmetric gauge theories with matrix models. We find that the effective superpotential for theories with N_f fundamental flavors can be calculated in terms of quantities computed in the pure (N_f=0) gauge theory. Using this property we compute in a remarkably simple way the exact effective superpotential of N=1 supersymmetric theories with fundamental matter and gauge group SU(N_c), at the point in the moduli space where a maximal number of monopoles become massless (confining vacua). We extend the analysis to a generic point of the moduli space, and show how to compute the effective superpotential in this general case.Comment: 16 pages, no figure

Factorization of Seiberg-Witten Curves with Fundamental Matter

We present an explicit construction of the factorization of Seiberg-Witten curves for N=2 theory with fundamental flavors. We first rederive the exact results for the case of complete factorization, and subsequently derive new results for the case with breaking of gauge symmetry U(Nc) to U(N1)xU(N2). We also show that integrality of periods is necessary and sufficient for factorization in the case of general gauge symmetry breaking. Finally, we briefly comment on the relevance of these results for the structure of N=1 vacua.Comment: 24 pages, 2 figure

Survival through networks: the 'grip' of the administrative links in the Russian post-Soviet context

© 2014 Taylor & Francis. Based on an analysis of the post-Soviet transformation experience of four defence sector organizations in a Russian region where the defence sector occupies a substantial part of the local economy, this article develops a typology of network relationships: Grooved Inter-relationship Patterns (Gr’ip) networks and Fluid Inter-relationship Patterns (Fl’ip) networks. This typology can be applied to a range of transition/emerging market and low system trust contexts. Gr’ip networks, in this case, represent the persisting legacy of the Soviet command-administrative system. Fl’ip networks are here an attempt by the defence companies to link into the civilian supply chains of a developing market economy. This article argues that Gr’ip networks had and still have a crucial role to play in Russian enterprises’ survival and development

Integration of a Spanish-to-LSE machine translation system into an e-learning platform

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-21657-2_61This paper presents the first results of the integration of a Spanish-to-LSE Machine Translation (MT) system into an e-learning platform. Most e-learning platforms provide speech-based contents, which makes them inaccessible to the Deaf. To solve this issue, we have developed a MT system that translates Spanish speech-based contents into LSE. To test our MT system, we have integrated it into an e-learning tool. The e-learning tool sends the audio to our platform. The platform sends back the subtitles and a video stream with the signed translation to the e-learning tool. Preliminary results, evaluating the sign language synthesis module, show an isolated sign recognition accuracy of 97%. The sentence recognition accuracy was of 93%.Authors would like to acknowledge the FPU-UAM grant program for its financial support. Authors are grateful to the FCNSE linguistic department for sharing their knowledge in LSE and performing the evaluations. Many thanks go to María Chulvi and Benjamín Nogal for providing help during the imple-mentation of this system. This work was partially supported by the Telefónica Móviles España S.A. project number 10-047158-TE-Ed-01-1

Quivers, YBE and 3-manifolds

We study 4d superconformal indices for a large class of N=1 superconformal quiver gauge theories realized combinatorially as a bipartite graph or a set of "zig-zag paths" on a two-dimensional torus T^2. An exchange of loops, which we call a "double Yang-Baxter move", gives the Seiberg duality of the gauge theory, and the invariance of the index under the duality is translated into the Yang-Baxter-type equation of a spin system defined on a "Z-invariant" lattice on T^2. When we compactify the gauge theory to 3d, Higgs the theory and then compactify further to 2d, the superconformal index reduces to an integral of quantum/classical dilogarithm functions. The saddle point of this integral unexpectedly reproduces the hyperbolic volume of a hyperbolic 3-manifold. The 3-manifold is obtained by gluing hyperbolic ideal polyhedra in H^3, each of which could be thought of as a 3d lift of the faces of the 2d bipartite graph.The same quantity is also related with the thermodynamic limit of the BPS partition function, or equivalently the genus 0 topological string partition function, on a toric Calabi-Yau manifold dual to quiver gauge theories. We also comment on brane realization of our theories. This paper is a companion to another paper summarizing the results.Comment: 61 pages, 16 figures; v2: typos correcte